Systematic Embedded Software Generation from SystemC
نویسندگان
چکیده
The embedded software design cost represents an important percentage of the embedded-system development costs [1]. This paper presents a method for systematic embedded software generation that reduces the software generation cost in a platform-based HW/SW codesign methodology for embedded systems based on SystemC. The goal is that the same SystemC code allows system-level specification and verification, and, after SW/HW partition, SW/HW co-simulation and embedded software generation. The C++ code for the SW partition (processes and process communication including HW/SW interfaces) is systematically generated including the userselected embedded OS (e.g.: the eCos open source OS).
منابع مشابه
Embedded Software Generation from SystemC for Platform Based Design
1 This document describes conventional and new software generation approaches for embedded systems. It justifies the need of another abstraction layer and points out why the specification language SystemC meets these needs. The SC2RTOS implementation library is presented, the realization of HW/SW partitioning is mentioned and an overview about the whole software generation from SystemC is given.
متن کاملA SoC design flow based on UML 2.0 and SystemC
This paper describes a system design framework for SoC that allows to model together the functional application, the hardware architecture and the embedded software. It relies on a commercial CASE tool that provides a graphical design entry by the UML, we added code generation capabilities to produce an executable model based on SystemC and introduced a reverse engineering flow. We use UML as h...
متن کاملA model-driven validation & verification environment for embedded systems
This paper presents a model-driven environment for HW/SW co–design and analysis of embedded systems based on the Unified Modeling Language, UML profiles for SystemC/multithread C, and the Abstract State Machine formal method. The environment supports a model-driven design methodology which provides a graphical high-level representation of hardware and software components, and allows C/C++/Syste...
متن کاملGeneration of Embedded Hardware/Software from SystemC
model (UML [10]), graphical finite state machine design environments (e.g StateCharts [11]), DSP graphical programming environments (e.g. Ptolemy [8]), or from synchronous programming languages (e.g Esterel [12]). A software generation from a high level model of operating system is proposed by several authors [13-16]. In [15], a software generation from SystemC is based on the redefinition and ...
متن کاملReal-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems
The design process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design decisions. In order to provide the early access, an automatic generation of its simulation models is advocated. While Verilog and VHDL are being extended in order to improve their system-level capabilities, Syst...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002